Publications of
Abdeldjalil Boudjadar, Frits Vaandrager, Jean-Paul Bodeveix, Mamoun Filali
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems (regular paper)
In : Fundamentals of Software Engineering (FSEN 2013), Tehran, Iran, 24/04/13-26/04/13, Vol. 8161, Springer, Lecture Notes in Computer Science, pp. 111-132, April 2013.
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
Compositional Refinement for Real-Time Systems with Priorities (regular paper)
In : International Symposium on Temporal Representation and Reasoning (TIME 2012), Leicester, United Kingdom, 12/09/12-14/09/12, IEEE Computer Society, pp. 57-64, September 2012.
Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali
An Alternative Definition for Timed Automata Composition (regular paper)
In : Automated Technology for Verification and Analysis, Taipei, Taiwan, 11/10/11-14/10/11, Vol. 6996, Springer-Verlag, Lecture Notes in Computer Science, pp. 105-119, October 2011.
Sémantique Compositionnelle et Raffinement de Systèmes Temporisés. Application aux Automates temporisés d’Uppaal et au Langage Fiacre
Master’s Thesis, Université de Toulouse, December 2012.
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
Revising and Extending the Uppaal Communication Mechanism, Springer-Verlag, Vol. 7306, Lecture Notes in Computer Science, June 2012.